Opening the Plugin Options window, changing a JSpinner option, and hitting Enter (as
a shortcut to clicking OK) causes the change to be lost. This does not occur if you
actually click OK.
You can reproduce this problem with the Character Map plugin, which has a JSpinner
in its options.
Submitted | vocaro - 2008-09-01 01:31:01 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |
2008-09-02 22:26:55 kpouer |
- **status**: open --> pending-works-for-me |
---|---|
2008-09-02 22:26:55 kpouer |
Logged In: YES |
2008-09-06 01:27:29 vocaro |
Logged In: YES |
2008-09-06 01:27:29 vocaro |
- **status**: pending-works-for-me --> open-works-for-me |
2008-09-06 23:14:19 kpouer |
Logged In: YES |
2008-09-06 23:14:19 kpouer |
- **labels**: 102672 --> |
2008-09-07 11:54:44 kpouer |
- **status**: open-works-for-me --> open |